翻訳と辞書 Words near each other ・ Taketora ・ Taketora Ogata ・ Taketoshi ・ Taketoshi Gotoh ・ Taketoshi Naito ・ Taketoyo ・ Taketoyo Line ・ Taketoyo Station ・ Taketoyo Thermal Power Plant ・ Taketsugu Saruwatari ・ Takeuchi ・ Takeuchi Manufacturing ・ Takeuchi Seihō ・ Takeura Station ・ Takeuti ・ Takeuti's conjecture ・ Takev Point ・ Takeya ・ Takeya Hiroshi ・ Takeya Mizugaki ・ Takeya Nakamura ・ Takeyasu Hirono ・ Takeyoshi ・ Takeyoshi Tanuma ・ Takeyuki Kanda ・ Takeyuki Nakayama ・ Takezaki Suenaga ・ Takezawa Station ・ Takezo Nakai ・ Takezō Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Takeuti's conjecture ： ウィキペディア英語版 Takeuti's conjecture In mathematics, Takeuti's conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second-order logic has cut-elimination (Takeuti 1953). It was settled positively: * By Tait, using a semantic technique for proving cut-elimination, based on work by Schütte (Tait 1966); * Independently by Takahashi by a similar technique (Takahashi 1967); * It is a corollary of Jean-Yves Girard's syntactic proof of strong normalization for System F. Takeuti's conjecture is equivalent to the consistency of second-order arithmetic and to the strong normalization of the Girard/Reynold's System F. ==See also== * Hilbert's second problem 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Takeuti's conjecture」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.